[IA64] vmx_vcpu_tak: Fix bugs
authorAlex Williamson <alex.williamson@hp.com>
Fri, 21 Sep 2007 18:49:31 +0000 (12:49 -0600)
committerAlex Williamson <alex.williamson@hp.com>
Fri, 21 Sep 2007 18:49:31 +0000 (12:49 -0600)
commitdee5c91428ba89e31d2c1e619c8166527970297f
treed2daf418a7e15d9fc0fbaac24c421fe71600e66b
parentb68fe168b1541bdf07c551deec60f9f1600b2233
[IA64] vmx_vcpu_tak: Fix bugs

Signed-off-by: Tristan Gingold <tgingold@free.fr>
xen/arch/ia64/vmx/vmmu.c